Theorem on limit of a function